Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
151	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
152	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
153	PDF Document Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2012-07-12 06:13:15 Computing Computer memory Electronic engineering Flip-flop Software engineering Linear temporal logic Const Justice PLY Technology
154	Geometry of Interaction, part 2: Unification and exponentials Marc Bagnol September 6, 2013 In the previous episode, we saw a model of linear logic and its cut-elimination procedure based on “flows”: links between Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-03-04 12:07:08
155	On Finite Domains in First-Order Linear Temporal Logic? Julien Brunel1 , David Chemouil1 , and Denis Kuperberg1,2 1 2 Add to Reading List Source URL: www.cs.swansea.ac.uk Language: English - Date: 2015-06-30 19:27:23
156	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
157	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:48 Metalogic Symbol Interpretation Structure Μ operator Linear temporal logic Model theory Logic Mathematics
158	Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematical logic Philosophical logic Predicate logic Constructible universe Quantification Model theory Logic Temporal logic Linear temporal logic
159	Regular Linear Temporal Logic with Past C´esar S´ anchez1,2 and Martin Leucker3 1 Madrid Institute for Advanced Studies (IMDEA Software), Spain Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07
160	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods

UPDATE